algebraic differentiation

[网络] 代数微分